Software Engineering: Tools and Methods: Proceedings of the 1978 Aarhus Workshop
نویسندگان
چکیده
منابع مشابه
Methods and Tools for Formal Software Engineering
We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling and development of tools that support object-oriented and component-based design. The main theme is an integration of verification techniques with engineering methods of modelling and design, and an integrat...
متن کاملRequirements Engineering and Analysis Workshop Proceedings
continued from page one, block 19 discussion on issues and activities that could help the Department of Defense (DoD) to dealmore effectively with the requirements of mission-critical systems. The SEI workshop built uponwork performed previously at the Requirements Engineering and Rapid Prototyping Workshopheld by the U.S. Army Communications-Electronics Command (CECOM) Center for S...
متن کاملon the comparison of keyword and semantic-context methods of learning new vocabulary meaning
the rationale behind the present study is that particular learning strategies produce more effective results when applied together. the present study tried to investigate the efficiency of the semantic-context strategy alone with a technique called, keyword method. to clarify the point, the current study seeked to find answer to the following question: are the keyword and semantic-context metho...
15 صفحه اولCollaboration, Conflict and Control Proceedings of the 4th Workshop on Open Source Software Engineering
In this paper we discuss a few issues faced in coordinating, managing and implementing academic software research projects and suggest how some of these issues can be addressed by adopting tools and processes from Open Source Software Development. At the same time we also discuss how a few issues in Open Source Software Development (OSSD) projects can be addressed by adopting processes from Aca...
متن کاملDESMET: A method for evaluating software engineering methods and tools
DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods of evaluation and a set of criteria to help evaluators select an appropriate method. Detailed guidelines were developed for three important evaluation methods: formal experiments, quantitative case studies and feature...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1980
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v9i125.7656